$\forall$${\it es}$:ES, $e$:E. $e$ $\leq$ $e$